Search
2 headings found for nb 99050268
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Katoen, Joost-Pieter, 1964-
Katoen, Joost-Pieter Katoen, Joost-Peter (1964- ). Joost-Pieter Katoen researcher |
Personal | Advanced weakest precondition calculi for probabilistic programs Abstractions pour les automates temporisés CONCUR 2011 - Concurrency theory : 22nd International Conference, CONCUR 2011 Aa ... |
2 |
Grimm, Kirsten I. 1965-....
Grimm, Kirsten I. |
Personal | Aussagen der Foraminiferenfauna zur stratigraphischen Korrelation, Paläoökolog
...
Festschrift zum 70. Geburtstag von Karlheinz Rothausen |